Functional Strategy - PDFSEARCH.IO - Document Search Engine

Functional Strategy
Results: 101

#	Item
41	Run Your Research On the Effectiveness of Lightweight Mechanization Casey Klein1 Matthew Flatt4 John Clements2 Add to Reading List Source URL: eecs.northwestern.edu Language: English - Date: 2011-11-14 12:38:44 Control flow Theoretical computer science Logic in computer science Functional programming Continuations Lambda calculus Robert Bruce Findler Reduction strategy Operational semantics Software engineering Computing Programming language theory
42	LazyJ: Seamless Lazy Evaluation in Java Alessandro Warth Computer Science Department University of California, Los Angeles [removed] Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2008-12-30 02:04:39 Evaluation strategy Type theory Functional languages Procedural programming languages Programming paradigms Lazy evaluation Futures and promises Strict programming language ML Software engineering Computing Computer programming
43	Chapter 1 Semi-Explicit Parallel Programming in a Purely Functional Style: GpH Declarative programming languages can play an important role in the process of designing and implementing parallel systems. They bridge the g Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2008-04-14 04:42:28 Functional languages Procedural programming languages Models of computation Literate programming Haskell Parallel computing Lambda calculus Evaluation strategy Closure Software engineering Computing Computer programming
44	Numeracy Literature Review for Evidence Based Practices Framework The Smarter Schools National Partnership on Literacy and Numeracy is a joint initiative of the Australian Government and the Department of Education and Add to Reading List Source URL: www.education.nt.gov.au Language: English - Date: 2010-07-06 00:32:45 Knowledge Literacy Numeracy National Numeracy Strategy Functional Skills Key Skills Qualification National Curriculum Mathematics Skills for Life Education Education in England Mathematics education
45	Department of Resources, Energy and Tourism Report for Long Term Strategy for the Development of Energy Efficiency Assessment Skills Functional Skills Analysis Report Add to Reading List Source URL: eex.gov.au Language: English - Date: 2013-10-16 21:24:03 Energy conservation Energy economics Energy policy Sustainable building Environmental issues with energy Low-carbon economy Energy service company Energy audit Efficient energy use Energy Environment Sustainability
46	Elm: Concurrent FRP for Functional GUIs Evan Czaplicki 30 March 2012 Abstract Graphical user interfaces (GUIs) mediate almost all of our interactions with computers, Add to Reading List Source URL: elm-lang.org Language: English - Date: 2014-12-10 05:09:29 Evaluation strategy Functional programming Functional reactive programming Reactive programming Graphical user interface GUI widget Purely functional User interface JavaScript Software engineering Computing Programming paradigms
47	Advances in Programming Languages APL4: Coursework assigment topics Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-01 08:46:14 Functional languages Evaluation strategy Programming paradigms Functional programming Flapjax Functional reactive programming Haskell Reactive programming Programming language Software engineering Computing Computer programming
48	Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2002-03-29 07:37:15 Data types Subroutines Lambda calculus Functional programming Primitive types Closure Evaluation strategy Free variables and bound variables Function Software engineering Computing Computer programming
49	The Implementation and Use of Lazy Naturals Elliott Hughes 3rd Year Project Department of Computer Science Add to Reading List Source URL: www.jessies.org Language: English - Date: 2004-11-20 14:16:27 Functional languages Elementary mathematics Evaluation strategy Lazy evaluation Python Haskell Arbitrary-precision arithmetic Function Type system Software engineering Computing Computer programming
50	Thursday, 9 October October 2014 S M 5 Add to Reading List Source URL: functionalconf.com Language: English - Date: 2014-10-07 03:57:55 Programming paradigms Functional languages Evaluation strategy Functional programming Haskell Language Integrated Query Monad Persistent data structure Scala Software engineering Computing Computer programming